Le Modèle de Conception Générique de Stratégie : Assurer la Sécurité des Types pour la Sélection d'Algorithmes dans les Systèmes Mondiaux Robustes | MLOG | MLOG